(i:a#
  wherew implementsI
e)
